针对大规模部署无线局域网(WLAN)存在的维护困难,成本高等问题,就应用于接入控制器(AC)和无线终端(WTP)间通信交互的CAPWAP协议进行了研究与实现。在Linux系统下实现了CAPWAP协议主要功能,如状态机管理、WTP集中配置等;搭建了本地转发架构下的WLAN集中管理系统的实现平台,并采用了Wireshark抓包工具,Chariot和Iperf软件进行测试。抓包结果验证了该架构的可行性,吞吐量和用户数据协议(UDP)测试结果表明网络性能高效稳定。
针对体系结构分析设计语言(AADL)模型的可调度性验证问题,提出了利用模型检测工具UPPAAL对其线程组件在非抢占型调度策略下的可调度性进行形式化分析和验证的方法,并实现了从AADL模型到UPPAAL中模型的模型转换工具。实验结果证明了通过UPPAAL来分析和验证AADL模型的可调度性问题的可行性。相比其他方法而言,基于形式化理论的本方法的验证结果更加精确。